Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 4, 5, 7, 8, 9, 12, 13, 14, 15, 16, 20, 21, 25, 29 }

B grade: { 10 }

C grade: { 3, 6, 11, 17, 18, 19, 22, 23, 24, 26, 27, 28 }

F grade: { }

2.1.3 Maple

A grade: { 3, 4, 7, 8, 12, 20, 21 }

B grade: { 1, 2, 5, 6, 9, 10, 11, 19, 24, 25, 28, 29 }

C grade: { }

F grade: { 13, 14, 15, 16, 17, 18, 22, 23, 26, 27 }

2.1.4 Maxima

A grade: { 4, 8, 12, 21

B grade: { 1, 2, 5, 7, 9, 10, 20, 29 }

C grade: { }

F grade: { 3, 6, 11, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 25, 26, 27, 28 }

2.1.5 FriCAS

A grade: { 4, 8, 12, 21 }

B grade: { 3, 6, 7, 11, 19, 20, 24, 25, 28, 29 }

C grade: { 1, 2, 5, 9, 10, 17, 18, 22, 23, 26, 27 }

F grade: { 13, 14, 15, 16 }

2.1.6 Sympy

A grade: { 4, 8, 12, 21 }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 22, 23, 24, 25, 26, 27, 28, 29 }

2.1.7 Giac

A grade: { 4, 8, 12, 20, 21, 25, 29 }

B grade: { 7 }

C grade: { }

F grade: { 1, 2, 3, 5, 6, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 22, 23, 24, 26, 27, 28 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 149 149 191 541 450 986 0 0
normalized size 1 1. 1.28 3.63 3.02 6.62 0. 0.
time (sec) N/A 0.134 0.168 0.014 1.536 1.673 0. 0.


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 118 306 263 635 0 0
normalized size 1 1. 1.19 3.09 2.66 6.41 0. 0.
time (sec) N/A 0.088 0.106 0.013 1.452 1.542 0. 0.


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 174 60 0 340 0 0
normalized size 1 1. 3.48 1.2 0. 6.8 0. 0.
time (sec) N/A 0.04 0.068 0.004 0. 1.591 0. 0.


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 12 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 17.53 0.075 0. 0. 0. 0.


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 185 473 432 2689 0 0
normalized size 1 1. 1.8 4.59 4.19 26.11 0. 0.
time (sec) N/A 0.22 0.902 0.022 1.803 1.803 0. 0.


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 74 74 198 240 0 1521 0 0
normalized size 1 1. 2.68 3.24 0. 20.55 0. 0.
time (sec) N/A 0.144 5.23 0.018 0. 1.741 0. 0.


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 52 56 123 431 0 108
normalized size 1 1. 1.79 1.93 4.24 14.86 0. 3.72
time (sec) N/A 0.031 0.093 0.016 1.122 1.606 0. 1.123


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 14 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 6.488 0.056 0. 0. 0. 0.


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 256 256 440 876 817 8979 0 0
normalized size 1 1. 1.72 3.42 3.19 35.07 0. 0.
time (sec) N/A 0.277 3.228 0.033 1.891 2.145 0. 0.


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 420 444 531 5252 0 0
normalized size 1 1. 2.73 2.88 3.45 34.1 0. 0.
time (sec) N/A 0.167 6.404 0.027 1.886 1.874 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 313 197 0 2677 0 0
normalized size 1 1. 3.4 2.14 0. 29.1 0. 0.
time (sec) N/A 0.082 2.195 0.023 0. 1.673 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 14 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.03 41.904 0.154 0. 0. 0. 0.


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 17 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.095 0.004 0. 0. 0. 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 17 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.114 0.101 0. 0. 0. 0. 0.


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 45 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.124 0.097 0. 0. 0. 0. 0.


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 63 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.208 0.131 0. 0. 0. 0. 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 448 448 2122 0 0 4582 0 0
normalized size 1 1. 4.74 0. 0. 10.23 0. 0.
time (sec) N/A 0.732 27.171 0.496 0. 2.006 0. 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 330 330 1167 0 0 3051 0 0
normalized size 1 1. 3.54 0. 0. 9.25 0. 0.
time (sec) N/A 0.599 10.252 0.283 0. 1.692 0. 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 435 483 0 1760 0 0
normalized size 1 1. 2.05 2.28 0. 8.3 0. 0.
time (sec) N/A 0.351 1.357 0.159 0. 1.734 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 30 52 112 354 0 84
normalized size 1 1. 0.88 1.53 3.29 10.41 0. 2.47
time (sec) N/A 0.089 0.022 0.001 1.234 1.651 0. 1.151


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 34 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.108 93.689 0.303 0. 0. 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 696 696 3187 0 0 8699 0 0
normalized size 1 1. 4.58 0. 0. 12.5 0. 0.
time (sec) N/A 1.283 14.477 0.405 0. 2.333 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 510 510 2340 0 0 5658 0 0
normalized size 1 1. 4.59 0. 0. 11.09 0. 0.
time (sec) N/A 1.109 10.831 0.339 0. 2.041 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F(-2) B F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 327 327 1579 1012 0 3200 0 0
normalized size 1 1. 4.83 3.09 0. 9.79 0. 0.
time (sec) N/A 0.64 5.659 0.184 0. 1.886 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 109 260 0 1150 0 223
normalized size 1 1. 1.15 2.74 0. 12.11 0. 2.35
time (sec) N/A 0.25 0.521 0.049 0. 1.735 0. 1.177


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 864 864 7881 0 0 17256 0 0
normalized size 1 1. 9.12 0. 0. 19.97 0. 0.
time (sec) N/A 1.188 40.14 0.411 0. 2.721 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F C F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 636 636 3874 0 0 10886 0 0
normalized size 1 1. 6.09 0. 0. 17.12 0. 0.
time (sec) N/A 0.973 17.075 0.355 0. 2.424 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 400 400 743 1102 0 5828 0 0
normalized size 1 1. 1.86 2.76 0. 14.57 0. 0.
time (sec) N/A 0.551 5.828 0.191 0. 1.983 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 75 428 247 1613 0 215
normalized size 1 1. 0.88 5.04 2.91 18.98 0. 2.53
time (sec) N/A 0.182 0.224 0.053 1.212 1.826 0. 1.185









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [26] had the largest ratio of [ 0.6071 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 9 5 1. 14 0.357







2 A 7 4 1. 14 0.286







3 A 5 3 1. 12 0.25







4 A 0 0 0. 0 0.







5 A 6 6 1. 16 0.375







6 A 5 5 1. 16 0.312







7 A 2 2 1. 14 0.143







8 A 0 0 0. 0 0.







9 A 15 8 1. 16 0.5







10 A 9 6 1. 16 0.375







11 A 6 4 1. 14 0.286







12 A 0 0 0. 0 0.







13 A 4 2 1. 20 0.1







14 A 4 2 1. 20 0.1







15 A 5 2 1. 20 0.1







16 A 7 5 1. 24 0.208







17 A 17 10 1. 26 0.385







18 A 14 9 1. 26 0.346







19 A 11 8 1. 24 0.333







20 A 5 4 1. 19 0.21







21 A 0 0 0. 0 0.







22 A 24 15 1. 28 0.536







23 A 21 15 1. 28 0.536







24 A 16 11 1. 26 0.423







25 A 6 6 1. 21 0.286







26 A 31 17 1. 28 0.607







27 A 24 14 1. 28 0.5







28 A 18 13 1. 26 0.5







29 A 5 4 1. 21 0.19